definition of symmetric closure